多水印技术在软件版权管理中的应用研究

为增强软件水印的鲁棒性,将图像“多水印”思想引入到软件中,并给出软件多水印定义,分析联合方式,给出 模型及优化方法。在此基础上,提出一种基于多水印的软件版权保护模型,并对原有的算法进行改进,解决有意义软 件水印的预处理问题、指纹的动态混淆嵌入及交互防篡改检测问题,提高软件水印的鲁棒性。实验表明,该模型在防 止静态分析、动态跟踪、反逆向工程以及保护水印和软件的完整性方面具有较好的性能。     

用Petri网描述程序精化中的循环不变式

形式化方法把程序看成规范,形式化开发方法包括形式规范和规范(程序)的精化.精化演算方法能够通过演算的方式,把规范逐步精化为程序.然而,演化的过程依赖于开发人员的经验,整个过程全部都是手动的.形式化方法的最高目标是软件自动化,使得能从规范自动开发出正确的程序.因而用Petri网来描述程序精化中的循环不变式,希望以此作为软件自动化的一个探索.     

复杂光照下的自适应人脸图像增强

提出了一种自适应的快速图像增强算法用于改善复杂光照下的人脸检测。算法对人脸图像的增强分为两步:动态范围压缩和细节增强。算法首先利用对数变换和非线性变换,增强图像阴暗区域的信息,同时对高光区域进行有效地抑制,然后利用反锐化掩模滤波对图像的细节进行增强。将各种增强算法应用于图像的预处理,结合Adaboost人脸检测算法,在Yale B人脸数据库上进行对比实验。实验结果表明,自适应快速图像增强算法能有效提高人脸检测率和降低误检率,具有比直方图均衡算法、单尺度Retinex算法和多尺度Retinex算法更好的性能。     

新时期云南农业经济发展战略的思考

新世纪中国经济发展的第二步战略目标已经实现 ,中国经济发展进入新的阶段 ,国家开始实施西部大开发战略。云南农业经济的发展如何适应新形势、抓住机遇 ,这是制定农业经济发展战略必须考虑的因素。作者依据当前社会、经济发展的时代背景 ,结合云南农业经济的现状 ,试图对云南农业经济发展战略及其重点的选择等问题进行探讨     

应用程序的自动发布服务:APS

ＷＷＷ除了在信息领域可以发挥作用之处,在计算领域同样很有潜力．人们试图在ＷＷＷ上构建一个虚拟的分布式计算环境ＷＷＷＣ,使得用户可以透明地远程使用ＷＷＷ上的计算资源．本文提出了一种基于ＷＷＷ的自动发布普通应用程序的思想,我们称它为ＡＰＳ．ＡＰＳ不仅构建ＷＷＷＶＣ的初步研究,它本身还有很现实的意义．本文介绍了普通程序的思想,我们称它的一个扩充应用．     

带赋值符号迁移图的局部优化算法

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型,在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价。由于ＳＴＧＡＡ的一个结点对应于具体迁移图的许多结点,在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。     

基于约束区域的BSB联想记忆模型

提出一种根据联想记忆点设计基于约束区域的ＢＳＢ（Ｂｒａｉｎ－Ｓｔａｔｅ－ｉｎｍ－ａ－Ｂｏｘ）神经网络模型,它保证了渐近稳定的平衡点集与样本点集相同,不渐近稳定的平衡点恰为实际的拒识状态,并且吸引域分布合理,从而将ＥＳＢ完善为理想的联想记忆器。     

基于神经网络的弹性连杆机构振动主动控制

研究基于神经网络的弹性连杆机构振动主动控制方法.介绍了双隐层动态递归神经 网络的数学模型,利用实验数据离线设计了神经网络辨识器与神经网络控制器.采用基于神 经网络的间接自适应控制策略对弹性连杆机构实施了振动主动控制,机构的动力学品质得到 显著改善.实验结果证明了该方法的有效性.     

ASP与JSP的比较研究

越来越多的Ｗｅｂ站点采用服务器端的动态网页技术来实现复杂的功能。该文针对目前流行的两种服务器端动态网页技术ＡＳＰ和ＪＳＰ,从原理、性能、应用范围等各个方面作了详尽的比较分析。     

分割决策函数

四叉树分解常常用在分形图象压缩中以获得变化的位比率。该文就可以改善图象质量和加速编码过程的分解决策函数而提出了熵（平均信息量）的概念。同时也讨论了其他分解决策函数,以及适宜的门限值所带来的优势。